(C++) Reports destructions of polymorphic objects with a non-virtual destructor in their base class.